causal\_order($L$;$R$;$P$;$Q$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$L$$\parallel$}}$. $Q$($i$) $\Rightarrow$ ($\exists$$j$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$L$$\parallel$}}$. $j$$\leq$$i$ \& $P$($j$) \& $R$($j$,$i$))